calculus 1 proof